(a, Either b c)